shell-extension-tool: Fix typo

Spotted by Amr Ibrahim.

diff --git a/src/gnome-shell-extension-tool.in b/src/gnome-shell-extension-tool.in
index 74a638fb427e6e9285d3a6fbe556df235c968733..fb3d0d81a89acab9ceb5b102e2df5133a24494d5 100755 (executable)
--- a/src/gnome-shell-extension-tool.in
+++ b/src/gnome-shell-extension-tool.in
@@ -20,7 +20,7 @@ def disable_extension(uuid):
     extension_command(["disable", uuid])
 
 def reload_extension(uuid):
-    print("Reloading extensions does not wokr correctly and is no longer supported",
+    print("Reloading extensions does not work correctly and is no longer supported",
           file=sys.stderr)
 
 def main():